(import modelo.*)
(deftemplate Movil (declare (from-class Movil)))

(defrule seleccionaSegmentoMuyAltoRend
    ?p <- (Movil {segmentoRend <> muyalto && segmentoRend <> nil})
    =>
    (retract ?p))